Denmark

Results: 13124



#Item
121

Strandboulevarden 47 Tel +DKCopenhagen Ø Fax +Denmark

Add to Reading List

Source URL: www.pietervermaas.nl

Language: English - Date: 2013-09-26 10:06:03
    122

    Katrin Loeschner, Manuel Correia and Erik H. Larsen National Food Institute, Technical University of Denmark, Denmark Simultaneous on-line detection of Si, Ti and Al-containing particles in toothpaste by asymmetric flow

    Add to Reading List

    Source URL: www.nanodefine.eu

    Language: English - Date: 2015-10-23 12:05:07
      123

      Towards a Generic Method of Evaluating Game Levels Antonios Liapis1 , Georgios N. Yannakakis1,2 , Julian Togelius1 1: Center for Computer Games Research, IT University of Copenhagen, Copenhagen, Denmark 2: Institute of D

      Add to Reading List

      Source URL: julian.togelius.com

      Language: English - Date: 2013-10-12 10:14:22
        124

        QuickChecking Patricia Trees Jan Midtgaard The Maersk Mc-Kinney Moller Institute, University of Southern Denmark Abstract. Patricia trees are a space-efficient, purely functional data structure, useful for efficiently im

        Add to Reading List

        Source URL: janmidtgaard.dk

        - Date: 2017-09-13 09:00:38
          125

          From Safety-I to Safety-II: A White Paper Professor Erik Hollnagel University of Southern Denmark, Institute for Regional Health Research (IRS), Denmark Center for Quality, Region of Southern Denmark

          Add to Reading List

          Source URL: resilienthealthcare.net

          - Date: 2015-03-29 04:09:16
            126

            Repairing Event Race Errors by Controlling Nondeterminism Christoffer Quist Adamsen∗ Anders Møller Aarhus University Aarhus, Denmark

            Add to Reading List

            Source URL: manu.sridharan.net

            - Date: 2018-02-03 20:39:22
              127

              B¨ohm Reduction for Terms and Term Graphs Patrick Bahr IT University of Copenhagen, Denmark Abstract Infinitary rewriting endows a rewriting system with a mode of convergence that assigns

              Add to Reading List

              Source URL: cl-informatik.uibk.ac.at

              - Date: 2017-09-12 04:41:19
                128

                Solving non-linear Horn clauses using a linear Horn clause solver Bishoksan Kafle, John Gallagher and Pierre Ganty Roskilde University, Denmark and IMDEA Software Institute, Spain HCVS’16 Eindhoven

                Add to Reading List

                Source URL: hcvs2016.it.uu.se

                - Date: 2016-04-05 17:42:28
                  129

                  A tale of two safeties HOLLNAGEL Erik1, 2 1 Professor, Institute of Regional Health Research, University of Southern Denmark 2. Chief Consultant, Center for Quality, Region of Southern Denmark, P. V. Tuxens Vej 5, DK-550

                  Add to Reading List

                  Source URL: erikhollnagel.com

                  - Date: 2015-02-09 16:45:10
                    130

                    Efficient Construction of Approximate Call Graphs for JavaScript IDE Services Asger Feldthaus∗ , Max Schäfer†∗∗ , Manu Sridharan‡ , Julian Dolby‡ , and Frank Tip§∗∗ ∗ Aarhus University, Denmark

                    Add to Reading List

                    Source URL: manu.sridharan.net

                    - Date: 2018-02-03 20:39:22
                      UPDATE